Search
Now showing items 1-3 of 3
Deep learning-based solutions for electron microscopy image analysis
(University of Missouri--Columbia, 2023)
Electron microscopy (EM) enables capturing high resolution images of very small structures in biological and non-biological specimens such as membrane proteins, viruses, subcellular structures, nanoparticles, or material ...
Intelligent orchestration of computation and networking for drone swarm applications
(University of Missouri--Columbia, 2023)
[EMBARGOED UNTIL 5/1/2024] Drone swarms that are equipped with high-resolution sensors and video cameras can benefit many applications (e.g., disaster response management, smart farming, traffic control). This requires ...
Mechanizing the metatheory of rewire
(University of Missouri--Columbia, 2019)
The [lambda]-calculus provides a simple, well-established framework for research in functional programming languages that readily lends itself to the use offormal methods--that is, the use of mathematically sound techniques ...